package reasoner;

import utils.exception.CoreReasoningException;
//import kb.ABox;
import kb.DescriptionLogicsKB;
//import kb.TBox;
import entities.assertion.Assertion;
import entities.concept.Concept;

public interface GeneralReason {

	public boolean subsumes(Concept c, Concept d, DescriptionLogicsKB kb)
			throws CoreReasoningException;

	public boolean logicConsequence(Assertion lhs, Assertion rhs,
			DescriptionLogicsKB kb) throws CoreReasoningException;
}
